Qué (quién) es Двузначности принцип - definición

Закон исключенного третьего; Tertium non datur; Принцип исключённого третьего; Закон исключения третьего; Принцип исключенного третьего; Исключённого третьего принцип; Исключённого третьего закон; Исключенного третьего закон; Принцип двузначности; Двузначности принцип; Исключенного третьего принцип

Двузначности принцип

принцип классической (двузначной) логики, согласно которому во всех мыслимых случаях вопрос об истинностном значении (См. Истинностное значение) любого высказывания (См. Высказывание) допускает только два ответа: "истинно" или "ложно", (какой-либо другой ответ, в том числе "и истинно, и ложно", исключается). Согласно Д. п., любое высказывание истинно или ложно независимо от существования способа, которым можно (хотя бы потенциально) осуществить указание того, какая из этих двух возможностей действительно имеет место. Иначе говоря, Д. п., по существу, постулирует априорное (и положительное) решение проблемы распознавания истинности (ложности) любого высказывания в некотором абсолютном смысле, независимо от нашей способности познания, и именно в этом смысле Д. п.- это философский постулат об онтологическом характере формальной логики, разнозначный исключенного третьего принципу (См. Исключённого третьего принцип). Д. п. лежит в основе т. н. критерия Филона (2 в. до н. э.) для логического следования (импликации): высказывание "если А, то В" истинно, когда А ложно, и В любое, или когда В истинно, и А любое; и ложно (только тогда), когда А истинно, а В ложно .

М. М. Новосёлов.

ДВУЗНАЧНОСТИ ПРИНЦИП

связан с обязательным принятием дилеммы: каждое высказывание либо "истинно", либо "ложно"; лежит в основе классической логики и классической математики.

ИСКЛЮЧЕННОГО ТРЕТЬЕГО ПРИНЦИП

(лат. tertium non datur), принцип классической формальной логики, утверждающий, что всякое суждение или истинно, или ложно, третьего не дано. Впервые сформулирован Аристотелем.

Wikipedia

Закон исключённого третьего

Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, который формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо b, либо не b. Истинно либо утверждение некоторого факта, либо его отрицание. Третьего не дано.

В отличие от закона противоречия, который действует по отношению ко всем несовместимым друг с другом суждениям, закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений.

С «интуиционистской» (и, в частности, «конструктивистской») точки зрения установление истинности высказывания вида «А или не А» означает:

либо установление истинности $A$ ;
либо установление истинности его отрицания $\neg A$ .

Поскольку, вообще говоря, не существует общего метода, позволяющего для любого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключённого третьего не должен применяться в рамках интуиционистского и конструктивного направлений в математике как аксиома.

https://ru.wikipedia.org/wiki/Закон исключённого третьего